Nuprl Definition : update
11,40
postcript
pdf
f
[
x
:=
v
](
y
) == if
eq
(
y
,
x
) then
v
else
f
(
y
) fi
latex
clarification:
update(
eq
;
f
;
x
;
v
)(
y
) == if
eq
(
y
,
x
) then
v
else
f
(
y
) fi
latex
Definitions
x
.
A
(
x
)
,
if
b
then
t
else
f
fi
,
f
(
a
)
FDL editor aliases
update
origin
x.A(x)x.A(x)